testcase TC_BEF_FE_BV_34() runs on EutComp system TestAdapter {
  var ChargeReport chargeReport1 : = null;
  var ChargeReport chargeReport2 : = null;
  timer t_runningDuration : = PX_TEST_BODY_DURATION;
  var template AccountStatus v_accountStatus : = ?;
  f_Charging_Preambule ( );
  f_SendContextData ( m_ContextData_default_accountStatus_transactionCounter_mileage_requested );
  f_userActions ( cmdSet , event_THR );
  f_userActions ( cmdSet , reloadOldEvent_THR );
  f_userActions ( cmdSet , contract1 );
  t_runningDuration . start;
  t_ac . start;
  alt {
    [ ] pco . receive ( mw_chargeReport_tableC1_accountStatus_transactionCounter_mileage ( v_accountStatus ) ) -> value chargeReport1 {
      t_ac . stop;
      pco . send ( m_chargeReportResponse_transactionCounter_reloadAccount_reloadOldEventLimit ( chargeReport1 . transactionCounter + 1 , false ) );
      t_ac . start;
      alt {
        [ ] pco . receive ( mw_chargeReport_tableC1_accountStatus_transactionCounter_mileage ( chargeReport1 . accountStatus ) ) -> value chargeReport2 {
          t_ac . stop;
          v_accountStatus : = chargeReport2 . accountStatus;
          t_ac . start;
          repeat;
        }
      }
    }
    [ ] t_runningDuration . timeout {
      setverdict ( pass );
    }
  }
  f_Charging_Postambule ( );
}

Description

TC_BEF_FE_BV_34: Verify that DUT does not update Account Status for event based on-board accounts upon ReloadAccount operation with ‘false’ value

Remarks

[TS 17575-1], Clause 6.6.2 accountUpdate